Solving Digital Logic Assignments with Automatic Verification in SCORM Modules
نویسندگان
چکیده
This paper presents an application based on Adobe Flash and SCORM within a MOODLE learning environment, which provides individualized assignments for students who learn digital systems. The assignments are evaluated automatically and the result is reported to the MOODLE platform. Since the tasks are solved by the students remotely and unattended, each student needs to get his or her personalized assignment. This is done by selecting one assignment from the pool of available assignments based on the student’s unique learner id.
منابع مشابه
Compositional Verification with Stutter-invariant Propositional Projection Temporal Logic
This paper investigates compositional verification with Propositional Projection Temporal Logic (PPTL). To this end, a sublogic Stutter-invariant PPTL (written as PPTLst) is first proposed. As a specification language, PPTLst helps designers get rid of irrelevant detail in compositional verification of a concurrent system since the projection construct of PPTLst allows designers to assert formu...
متن کاملKohonen Self Organizing for Automatic Identification of Cartographic Objects
Automatic identification and localization of cartographic objects in aerial and satellite images have gained increasing attention in recent years in digital photogrammetry and remote sensing. Although the automatic extraction of man made objects in essence is still an unresolved issue, the man made objects can be extracted from aerial photos and satellite images. Recently, the high-resolution s...
متن کاملThe Study of E-Learning for Geographic Information Curriculum in Higher Education
The e-Learning has the main characteristics of learning anywhere and anytime. It can construct an independent and individualized learning environment and break through the restrictions of the conventional learning. Geographic information e-Learning Website has been built for high school with open source Course Management System. Based on the standard of SCORM, courses have been designed with co...
متن کاملDigital Rights Management Implemented by RDF Graph Approach
absTracT This chapter proposes a design framework for constructing digital rights management (DRM) that enables learning objects in legal usage. The central theme of this framework is that any design of a DRM must have theories as foundations to make the maintenance, extension or interoperability easy. While a learning objective consists of learning resources and its metadata, a DRM also needs ...
متن کاملA Symbolic Execution Framework with Explicit Heaps and Separation
Program verification of heap properties is challenging. A promising approach is Separation Logic, which supports local reasoning over disjoint portions of the heap. In this paper, we propose a heap constraint language H that explicates the heap and incorporates separation. By explicating the heap, the language is more suitable for automatic symbolic execution. We show that this language can be ...
متن کامل